『Principles of Model Checking』
https://gyazo.com/ae91ab22873a90e7397eb9cb7a6125a6
モデル検査
#文献